Skip to content

feat(build): prototype Bazel build system#2414

Draft
SDAChess wants to merge 36 commits into
mainfrom
sscatton/bazel-build-system
Draft

feat(build): prototype Bazel build system#2414
SDAChess wants to merge 36 commits into
mainfrom
sscatton/bazel-build-system

Conversation

@SDAChess

@SDAChess SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

Summary

Related Issue

Changes

Testing

  • mise run pre-commit passes
  • Unit tests added/updated
  • E2E tests added/updated (if applicable)

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (if applicable)

@copy-pr-bot

copy-pr-bot Bot commented Jul 22, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 9b90419

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 4cd424a

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 0b0f428

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 33d024b

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test a7a6fd1

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test b4692f7

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 6b1a4e9

@SDAChess

SDAChess commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test d3302fa

@drew drew changed the title Bazel build system feat(build): prototype Bazel build system Jul 22, 2026
SDAChess added 18 commits July 23, 2026 11:53
@SDAChess
build: add hermetic Bazel toolchain for vfio
902c3df 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add native protobuf generation
b2cb1fe 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
test(bazel): run vfio unit tests
8a7c04d 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
test(bazel): run core unit tests
46bf8a2 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
ci(bazel): add cross-platform branch checks
3baf8cf 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
fix(bazel): support macOS CI builds
f12982a 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add native crate annotations
bab238f 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add bootstrap crate targets
919cf38 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
fix(bazel): include IOKit in macOS SDK
48251e4 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add policy crate targets
4800416 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
fix(bazel): include CFNetwork in macOS SDK
956cb34 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add providers crate targets
3021e60 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add TUI crate targets
a7978c3 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add openshell CLI targets
4d23243 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
ci(bazel): print failed test output
80e263a 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add OCSF crate targets
14b3931 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
test(bazel): use host tools for command tests
d03db9a 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add router crate targets
cb12f01 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
SDAChess force-pushed the sscatton/bazel-build-system branch from a367923 to cb12f01 Compare July 23, 2026 09:59
@copy-pr-bot

copy-pr-bot Bot commented Jul 23, 2026

Copy link
Copy Markdown

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@SDAChess

SDAChess commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test e8e0def

@SDAChess
fix(build): fixed bazel definitions to remove no-sandbox
fcb06fe 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
SDAChess force-pushed the sscatton/bazel-build-system branch from e8e0def to fcb06fe Compare July 23, 2026 10:24
SDAChess added 14 commits July 23, 2026 14:54
@SDAChess
build(bazel): package z3 from source
2d76f88 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): integrate z3-sys with native z3
c7be100 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add openshell-prover targets
e6ce6f8 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(nix): add lcov to development shell
a099530 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
test(cli): remove obsolete git test serialization
d3d2714 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add openshell-server-macros target
dde010a 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add supervisor middleware builtins targets
4ba7c61 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add supervisor middleware targets
2af3363 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add gateway interceptors targets
acf47ef 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add Docker driver targets
4a2b035 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add Podman driver targets
66641a4 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add Kubernetes driver targets
0141cea 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add OpenShell server targets
5e354b9 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add server integration test targets
37816aa 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess

SDAChess commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 37816aa

SDAChess added 2 commits July 23, 2026 15:58
@SDAChess
build(bazel): add OpenShell SDK targets
c1e3e51 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess
build(bazel): add process supervisor targets
d0c0a40 
Signed-off-by: Simon Scatton <sscatton@nvidia.com>
@SDAChess

SDAChess commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 0e7434c

@SDAChess
SDAChess force-pushed the sscatton/bazel-build-system branch from 0e7434c to 6c1143d Compare July 23, 2026 15:13
@SDAChess

SDAChess commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 6c1143d

@SDAChess
SDAChess force-pushed the sscatton/bazel-build-system branch from 6c1143d to 252369c Compare July 23, 2026 15:22
@SDAChess

SDAChess commented Jul 23, 2026

Copy link
Copy Markdown
Collaborator Author

/ok-to-test 252369c

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mrunalp mrunalp Awaiting requested review from mrunalp mrunalp will be requested when the pull request is marked ready for review mrunalp is a code owner
@maxamillion maxamillion Awaiting requested review from maxamillion maxamillion will be requested when the pull request is marked ready for review maxamillion is a code owner
@derekwaynecarr derekwaynecarr Awaiting requested review from derekwaynecarr derekwaynecarr will be requested when the pull request is marked ready for review derekwaynecarr is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@SDAChess